Holzmann G.: search on Z-Library

Günter Holzmann, Prof. Dr.-Ing. Heinz Meyer, Georg Schumpich (auth.)

Year:

2000

Language:

german

File:

PDF, 7.92 MB

0 / 0

german, 2000

New Ideas About Old Age Security: Toward Sustainable Pension Systems in the 21st Century

Robert Holzmann, Joseph E. Stiglitz

Year:

2001

Language:

english

File:

PDF, 1.54 MB

0 / 0

english, 2001

Design And Validation Of Computer Protocols

Prentice Hall

Gerard J. Holzmann

Year:

1990

Language:

english

File:

PDF, 2.07 MB

0 / 5.0

english, 1990

Naturliche und pflanzliche Baustoffe: Rohstoff - Bauphysik - Konstruktion

Gerhard Holzmann, Matthias Wangelin

Year:

2009

Language:

german

File:

PDF, 9.33 MB

0 / 0

german, 2009

Spatial awareness of autonomous embedded systems

Vieweg and Teubner

Clemens Holzmann

Year:

2009

Language:

english

File:

PDF, 2.45 MB

0 / 0

english, 2009

Dark Tales: Thirteen New Authors, One Twisted Anthology

Cava Vincent V, Rach L J, Morakabi Nthato, Holzmann Ashley Franz

Year:

2014

Language:

english

File:

EPUB, 209 KB

0 / 0

english, 2014

The SPIN Model Checker: Primer and Reference Manual

Addison-Wesley Professional

Gerard J. Holzmann

Year:

2003

Language:

english

File:

CHM, 1.33 MB

0 / 0

english, 2003

China's Pension System: A Vision

Mark C. Dorfman, Robert Holzmann, Philip O'Keefe, Dewen Wang, Yvonne Sin, Richard Hinz

Year:

2013

Language:

english

File:

PDF, 2.49 MB

0 / 0

english, 2013

Espiritismo e marxismo

Neto, Jacob Holzmann

Language:

portuguese

File:

PDF, 474 KB

0 / 0

portuguese

Closing the Coverage Gap: Role of Social Pensions and Other Retirement Income Transfers

Year:

2009

Language:

english

File:

PDF, 3.51 MB

0 / 0

english, 2009

Beyond photography : the digital darkroom

Prentice Hall

Holzmann, Gerard J.

Year:

1988

Language:

english

File:

PDF, 1.71 MB

0 / 0

english, 1988

Aging Population, Pension Funds, and Financial Markets: Regional Perspectives and Global Challenges for Central, Eastern and Southern Europe (Directions in Development)

Year:

2009

Language:

english

File:

PDF, 761 KB

0 / 0

english, 2009

Wirtschaftsethik

Springer Gabler

Robert Holzmann, John Piggott

Year:

2015

Language:

german

File:

EPUB, 847 KB

0 / 0

german, 2015

The Taxation of Pensions

MIT Press

Year:

2018

Language:

english

File:

PDF, 2.91 MB

0 / 0

english, 2018

Design and Validation of Computer Protocols (Prentice Hall Software Series)

Pearson Technology Group

Gerard Holzmann

Year:

1990

Language:

english

File:

PDF, 1.25 MB

0 / 0

english, 1990

New Ideas About Old Age Security: Toward Sustainable Pension Systems in the 21st Century

Robert Holzmann, Joseph E. Stiglitz

Year:

2001

Language:

english

File:

PDF, 1.54 MB

0 / 0

english, 2001

New Ideas about Old Age Security: Toward Sustainable Pension Systems in the 21st Century

Stiglitz J.E., Holzmann R.

Year:

2001

Language:

english

File:

PDF, 3.44 MB

0 / 0

english, 2001

Technische Mechanik: Teil 2 Kinematik und Kinetik

Günther Holzmann, Prof. Dr.-Ing. Heinz Meyer, Prof. Dr.-Ing. Georg Schumpich (auth.)

Year:

2000

Language:

german

File:

PDF, 12.78 MB

0 / 0

german, 2000

Technische Mechanik Kinematik und Kinetik

Vieweg

Holzmann G., Meyer H., Schumpich G.

Year:

2010

Language:

english

File:

PDF, 4.24 MB

0 / 0

english, 2010

The spin model checker : primer and reference manual

Addison-Wesley

Gerard J Holzmann

Year:

2004

Language:

english

File:

GZ, 22 KB

0 / 0

english, 2004

Pension Reform: Issues and Prospect for Non-financial Defined Contribution (NDC) Schemes (Trade and Development)

Robert Holzmann, Edward Palmer

Year:

2006

Language:

english

File:

PDF, 3.22 MB

0 / 0

english, 2006

Adequacy of Retirement Income after Pension Reforms in Central, Eastern and Southern Europe: Eight Country Studies (Directions in Development; Finance)

Robert Holzmann, Ufuk Guven

Year:

2009

Language:

english

File:

PDF, 1.32 MB

0 / 0

english, 2009

Technische Mechanik 3: Festigkeitslehre

Prof. Dr.-Ing. Günther Holzmann, Meyer, Schumpich (auth.)

Year:

2002

Language:

german

File:

PDF, 20.22 MB

0 / 0

german, 2002

Naturliche und pflanzliche Baustoffe: Rohstoff – Bauphysik – Konstruktion

Vieweg+Teubner

Gerhard Holzmann, Matthias Wangelin (auth.)

Year:

2009

Language:

german

File:

PDF, 6.97 MB

0 / 0

german, 2009

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Gerard J. Holzmann (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Year:

1996

Language:

english

File:

DJVU, 3.60 MB

0 / 0

english, 1996

Pension Reform in South-Eastern Europe: Linking to Labor and Financial Market Reforms (Directions in Development)

Gerard J Holzmann, American Telephone and Telegraph Company

Year:

2008

Language:

english

File:

PDF, 3.30 MB

0 / 0

english, 2008

Design and validation of computer protocols

Prentice Hall

Year:

1991

Language:

english

File:

DJVU, 278 KB

0 / 0

english, 1991

Technische Mechanik: Teil 1 Statik

Professor Dr.-Ing. Günther Holzmann, Professor Dr.-Ing. Heinz Meyer, Prof. Dr.-Ing. Georg Schumpich (auth.)

Year:

1974

Language:

german

File:

PDF, 17.69 MB

0 / 0

german, 1974

Social Protection & Labor at the World Bank, 2000-2008

Robert Holzmann, Robert Holzmann

Year:

2008

Language:

english

File:

PDF, 2.81 MB

0 / 0

english, 2008

Cultural Intelligence: Die Erfolgsformel für Wachstum in einer multipolaren Wirtschaftswelt

Gabler Verlag

Hanne Seelmann-Holzmann (auth.)

Year:

2010

Language:

german

File:

PDF, 769 KB

0 / 0

german, 2010

Pension Reform in Europe: Process and Progress (Directions in Development)

Year:

2003

Language:

english

File:

PDF, 806 KB

0 / 0

english, 2003

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Gerard J. Holzmann (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Year:

1996

Language:

english

File:

PDF, 6.37 MB

0 / 0

english, 1996

Espiritismo e Marxismo

ebook espírita

Jacob Holzmann Netto

Language:

portuguese

File:

PDF, 938 KB

0 / 2.5

portuguese

Espiritismo e Marxismo

Jacob Holzmann Netto

Language:

portuguese

File:

PDF, 938 KB

0 / 0

portuguese

Technische Mechanik: Teil 2: Kinematik und Kinetik

Professor Dr.-Ing. Günther Holzmann, Professor Dr.-Ing. Heinz Meyer, Prof. Dr.-Ing. Georg Schumpich (auth.)

Year:

1991

Language:

german

File:

PDF, 12.19 MB

0 / 0

german, 1991

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc

Gerard J. Holzmann (auth.), Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)

Year:

2011

Language:

english

File:

PDF, 6.13 MB

0 / 0

english, 2011

Wirtschaftsethik

Springer Gabler

Year:

2015

Language:

german

File:

PDF, 1.91 MB

0 / 5.0

german, 2015

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc

Gerard J. Holzmann (auth.), Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)

Year:

2011

Language:

english

File:

PDF, 5.68 MB

0 / 0

english, 2011

Dark Tales: Thirteen New Authors, One Twisted Anthology

Cava Vincent V, Rach L J, Morakabi Nthato, Holzmann Ashley Franz

Year:

2014

Language:

english

File:

MOBI , 283 KB

0 / 0

english, 2014

Output Decline in Eastern Europe: Unavoidable, External Influence or Homemade?

Springer Netherlands

Robert Holzmann, János Gács, Georg Winckler (auth.), Robert Holzmann, János Gács, Georg Winckler (eds.)

Year:

1995

Language:

english

File:

PDF, 8.84 MB

0 / 0

english, 1995

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

K. Rustan M. Leino (auth.), Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.)

Year:

2011

Language:

english

File:

PDF, 7.89 MB

0 / 0

english, 2011

Mikroelektronik 87: Berichte der Informationstagung ME 87

Springer-Verlag Wien

Year:

1987

Language:

german

File:

PDF, 12.84 MB

0 / 0

german, 1987

MAPLE 6. Решение задач высшей математики и механики

Günther Holzmann, Heinz Meyer, Georg Schumpich, Conrad Eller, Hans-Joachim Dreyer

Year:

2010

Language:

english

File:

DJVU, 8.18 MB

0 / 0

english, 2010

Deutsches Anonymen-Lexikon 1501-1850 : Aus den Quellen bearbeitet / A-D (1)

Year:

1902

Language:

german

File:

PDF, 31.51 MB

0 / 0

german, 1902

Deutsches Anonymen-Lexikon : Aus den Quellen bearbeitet / Band III / L-R

Year:

1905

Language:

german

File:

PDF, 24.60 MB

0 / 0

german, 1905

Deutsches Anonymen-Lexikon : Aus den Quellen bearbeitet / Band IV / S-Z

Year:

1907

Language:

german

File:

PDF, 27.06 MB

0 / 0

german, 1907

Deutsches Anonymen-Lexikon : Aus den Quellen bearbeitet / Band VI / 1501-1910 Nachträge und Berichtigungen

Year:

1911

Language:

german

File:

PDF, 39.75 MB

0 / 0

german, 1911

Quantitative Methoden in der Epidemiologie: 35. Jahrestagung der GMDS Berlin, September 1990